Merge pull request #550 from antonio-nino-diaz-arm/an/dead_loops
authordanh-arm <[email protected]>
Wed, 16 Mar 2016 11:02:28 +0000 (11:02 +0000)
committerdanh-arm <[email protected]>
Wed, 16 Mar 2016 11:02:28 +0000 (11:02 +0000)
Remove all non-configurable dead loops


Trivial merge